perm filename CMMI6.360[GF,SYS] blob
sn#803137 filedate 1986-01-11 generic text, type T, neo UTF8
{`dα&Q*Dλ#∪ie ⊂≠nW 8≥.B_N'β0↔ε∩p_L'#⊂_LFD Ec⊃_ D∃H↓⊗5@α∃`⊂λ↓U@⊂⊂↓U@⊂⊂↓U ⊂_↓U⊂ α∃⊂(↓T`⊂0↓T@⊂8↓T@⊂8↓T!EB EB@4xB`4pC4h↓β4PβAa∀("⊂BqH D`Px)a_(@a ⊂(@a _(@a _(@a _(a _(a⊂_(a_(β p_∧@ip_¬ip_¬ip_¬@I`_¬@i`_¬@i`_¬i`_∧@iP_∧@i!"Qλ18Db0Xβ↓ ∃⊂↓A@ ⊂↓∀0P↓S` h↓∪@ p↓∪ 0p↓∪0xS$X↓R`4P↓R@4P↓R@1R` xR`0pS hS P↓∪@00↓∀t("⊃β⊃X D`Px)a_(@a _(@a0_(@a@⊂(@a@_(aP_(aP_(aP_(aP_'@aP_'@aP_'@aP_'@a@_'aP⊂'a@_'a0_'a ⊂&@a⊂_%βhT "Ec⊃_ A"%⊂↓B 5λ↓B`%λ↓B`%λ↓B`%λ↓B`∃↓A@⊂(T00T0(↓∀↓$x↓A@∀x↓A@∀x↓A@⊂0S`0`S@0hS@0hS@0`S@0X↓∪ 0Pα∩B4("⊃BqH D`Q⊂)a⊂_(@a0⊂(@a0⊂(@a0⊂(@a0λ(``λα@*_β*_α@JP'@``λ'@``λ'@``λ'@i`_'i`_'iP_%αHT #Ec⊃_ B``(T@00↓@%↓B@4x↓β $p↓β@$h↓C@$`↓C`∀`↓∩`4X↓R@4P↓BA$P↓C@4P↓C@4X↓β 4X↓C4`↓β4h↓α@Dp↓A@ λ↓∀p Q(D@∞πB1_αB PH)a0_(@a0_(@a0_(@a0_(@a0_(a0_(a0_(a0_(∧)p_¬@ip_¬@ip_¬@ip_¬@i`_¬@i`_¬@i`_¬@i`_¬@iP_¬@i HαB(T $CB↓_ A!∃⊂↓T 5λ↓T 5λ↓T5↓T5↓S`4x↓S`4x↓S@4p↓S@4p↓S 4P∧Q(DPλEα1_∧α*`_*@jP_*@jP_*j@_*j@_)@j0_)@j0_)i0_αi αi _αi ⊂αi@("Q 1`∂∧b0(∧A`u⊂↓B`5λ↓C∃λ↓B@%λ↓B ∃λ↓A`%↓A`∃↓A %↓A5↓@@Tx↓@@⊂_↓S`P ↓S`08↓S`08α∪@0H↓S@0P↓S@0P↓S@0X↓S 0`α∩A⊂8∧⊃(D`
¬B1_αBJ _(@j⊂_(@j⊂_(j_(j_'@ip_'@a0λ'@a0λ'a0λ'a0λ'a λ'a⊂⊂&@a %∧(T &H$1_ A ppβT@@h@ 5λ@ 0hα∀ ⊂λ↓C⊂λ↓T ⊂λ↓B`⊂⊂↓T ⊂⊂↓B@⊂⊂↓T⊂_↓B ⊂⊂↓T⊂_↓B⊂_↓T⊂_↓B⊂_↓T⊂_↓A`⊂ ↓S`⊂(↓A ⊂ ↓S`⊂(↓A⊂(↓S`⊂(↓A⊂(↓S`⊂(↓@`⊂0↓S@⊂0↓@@⊂0↓S@⊂8↓@ ⊂0↓S@⊂8α↓`4pA`0@↓S 8↓A`4PβA (∧Q(Dp∞πB1_αAA 8)↓↓0⊂(@ ⊂_¬@*⊂λ↓a λ(@ _¬*⊂λ↓@a⊂λ( @ β@*λα@`pλ( `_β*λβ``λ'@!_α)pλ∧↓0λ'@!⊂_↓@)pλ¬` λ'!0_@)`λε↓ `λε↓ `λε@iP⊂π) 8ε(T 'Ec⊃_ B@u⊂↓A 5↓B 4x↓β$p↓β@$h↓β`$`↓C`4X↓D4X↓D4X↓D4P↓D4P↓D4P↓D4P↓C`4X↓β@4X↓C $X↓C$`↓B 4p↓A 5βQ(EF"1_αCj _β@j⊂_¬J⊂_¬j⊂_¬j⊂_¬j_¬j_¬j_∧@j_β@ip`'@ip_'@i`_'i`_'iP_%α(T (Ec⊃H B@u⊂↓A 5↓B 4x↓β$p↓β 4h↓C@$`↓C`4X↓D4X↓D4X↓D4P↓D4P↓D4P↓D4P↓C`4X↓β@4X↓C $X↓A0(↓∪0⊂@`⊂⊂↓S@0(↓Tp0U@⊂0U@⊂(↓∃@ _↓∃@e0β∃`4("∀C↓P D`Pp)`p_(@a⊂_(@a _(@a _(@a _(a _(a⊂_(`p_(αip_βA p_∧ip_∧@ip_∧@i`_∧@i`_∧@i`_∧@i`_∧@`@λ&@a _↓@) H∧AλT )DBQ_ B`_T (@ $x↓α$xB@∀p↓α@∀p↓α@∀p↓∪@4pβSa∃λ∧∃@58↓U`4XB`$XB`$XB`∀X↓α ∀P↓ ⊂0↓∩@⊂_βQ(E Fα1_↓E @_β@``⊂&!_β@I@λ∧`p⊂%@!⊂_∧)0λ∧@`pλ%!⊂_∧*@_*j@_)@j0_)@j0_)j _)j _(@iP`"Q
Q8
∧b0∧A`th↓C$`↓C ∀`↓C ∀`↓C ∀`↓C ∀X↓C ∀X↓C ∀X↓C ∀X↓C ∀P↓C ∀P↓C ∀P↓C ∀P↓C ∀P↓β ∀P↓β ∀P↓B`∀X↓α $`↓↓@$pβ⊃(E0FB1_α↓⊂0&aP_&↓↓@λ&@a@λ&@a0λ&@a λ&@a⊂⊂&A↓λ'`pλ'``λ'``λ'`Pλ'↓0λ'@`0λ'@` λ'@`⊂λ'A)p (Jλ"Q
r⊃Db0∧↓↓⊂ βS0Hαα@$`↓B@0PS0P↓B ∀`↓B @@S0@@ 0@S 08@ 08S 00@@08S 0(@`00S 0(@`0(S 0 A 0 S 0 A 0_S 0_A@0⊂S 0⊂A`0⊂S@0λA`0λS@@@↓@ ∀p↓B Dp↓B 4p↓α`$p↓α`∀("⊗β!` D`PHαAj ∧@J0_∧J0 βJ@_α@J@ ↓@JP_↓JP(+j` +↓
PλA
@λ↓@j0λα↓
λβj⊂λβA
λ∧@ipλ¬↓ P_¬@i @βα(T ,Fβ!_ @↓⊂Hβ∪ @`↓S@0`S@@PS`0HS`@8S`@0T0(T@_T 0⊂T U⊂↓T@5⊂↓T 5λ↓T 5λ↓T4h∧Q(EP
Fα1_αD p_∧@i`⊂¬i`⊂∧@i`λ∧@i`λ∧iPλ∧jP_*j0 )↓
_(@`pλ(`pλ'@aλ'a⊂λ&@a⊂λ&a⊂⊂%@a %βhT 0CB`ε↓ @λ↓∪@ _↓S ⊂(↓S (↓∩` 0↓∩` 0↓∩` 0↓∩@ 0↓∩@ 0↓`∀P↓↓@ _R`⊂(↓@`∀X↓`⊂λ↓@∀`α`4("_A0h
¬⊂('I`⊂&@IP⊂&@IP⊂&I@⊂A @_↓@I@⊂α@)0⊂βI0⊂βI0⊂βI0⊂βI ⊂βI ⊂βI ⊂β)0λα@)0⊂↓@)@ "Q0`πβ↓@0α∪@ S ↓S (↓∩`$X↓∩`$P↓∩@$XB ∀X↓↓`∀`A $hαQ(F π∧αA ∧A*`⊂+JP⊂*@JP⊂*@J@⊂'A⊂⊂'@0_&@ P_&@P⊂%@@`⊂%@@`⊂%@@`⊂%@`⊂%@`⊂↓@) ⊂β@0λ%@ P_↓@)0⊂↓@ ⊂⊂↓)@ ↓@hT 2Ba``ε↓ Dh↓↓∀`A`∀X↓↓@∀P↓↓@$P∧∩@$PR@∀P↓α∀P↓↓`∀XA $`αQ(F0πD#! ¬@j@λ@j0⊂@j0⊂@J ⊂)J ⊂)Ip@)J⊂⊂(@J⊂⊂(@J⊂⊂(@J⊂(J⊂(J⊂'@Ip⊂%@@ ⊂%` λ%@ λ%@hT 3CB↓⊂ε↓`@λ↓∀ _↓S`⊂(↓S@ (↓∪ 0↓∪ 0↓∪ 0↓∪ 0↓∪ 0↓∪ 0↓∪ ⊂(↓S _↓S@@λ↓∀`%_↓∩` (↓∩@0(↓∩@ (↓∩`d("~↓q⊂
¬ ('@Ip⊂'I`⊂'I`⊂&@IP⊂↓↓ P ↓@IP⊂α@I@_α@I@⊂βI@⊂βI@⊂βI0⊂βI0⊂β@0λ%@@P⊂α)0⊂α@@0λ%@`⊂↓@) ⊂βAλT 4B↓!
↓ $x↓S`$8α@@4X@@$X@@$P@`$P@@$h↓∪ $`↓∪ ⊂R` _R` _R` ⊂S4("~A@`
¬↓ λ)@j0⊂#A `_'@ ⊂'@ 0⊂' 0⊂' 0⊂)J ⊂(@J⊂⊂(@J⊂⊂(J⊂(J⊂%@@ ⊂%` ⊂%@ ⊂%@hT 5CB⊃
@Tx↓∪`$p↓∪@$p↓∪@$h↓∪ (↓S _↓ 4h↓@⊂_↓S ⊂A$`↓ ∀`↓S λ↓R` ↓∩` ↓`∀X↓↓ _R` ↓@∀P↓↓ ⊂R@ 0↓Q(F`βα"A A)`⊂'IP⊂&@IP⊂&@I@⊂&I@⊂&I0⊂%@I0⊂%@I ⊂%@⊂λ%@⊂λ%@⊂λ%@⊂λ%@hT 6FcP`ε@0 αATX@@ ⊂A ⊂A$X@`0(↓ ⊂(↓∩@⊂_↓A@00↓∩@⊂_↓↓` 8↓∪@ 8↓↓`$p↓↓` 8↓∪ 8↓↓`$h↓↓` 8↓`∀h↓↓` 0↓↓∀h↓↓` 0↓`∀`↓↓` 8↓`∀`↓↓` @α⊃(FpλDa@`↓`@ %@ ⊂@@0⊂%@ 0⊂α@I λ↓@`P⊂% 0⊂βI`⊂βI`⊂βIP⊂βIP⊂β@0λ&@@P⊂α)P⊂α@@0λ&@`⊂↓@)@⊂βAλT 7C!p`ε↓@Dp↓↓∀h↓↓@∀`↓↓`$X↓α$X↓α$X↓α$P↓α$P↓α$XA`$X↓↓@∀`A$hα⊃(GπDα `↓@`0 & ⊂@ 0⊂& 0⊂α@)0λ↓@@`⊂%@ 0⊂βIp⊂βIp⊂βI`⊂βI`⊂βI`⊂β)`⊂α@)P⊂@ 0λ&@@ _&@IP⊂&I@⊂&I 0"Q∞⊂`π∧A@(α@∀p↓`4hA 4`↓↓ $X↓↓@$X↓↓@$X↓↓@$P↓↓@$P↓↓@$P↓↓@$XA 4X↓`4`α %λ↓∀ %↓∀%↓∪ t("≤Aaεβ _↓A 0λ↓@⊂λ↓@i0λ↓@@@_% 0_αI λ↓@I`⊂'IP⊂&@IP⊂&@I@⊂&HT 9Ba``ε↓ DpA∀hA4`A $`↓∪ TpαT@$XA`∀P↓A@∀P↓↓@∀PA@∀Xβ⊃(G ∧Bb⊃λβ)p⊂'@Ip⊂'I H'I`⊂&@IP⊂&@IP⊂&I@⊂↓@)@⊂↓@)@⊂↓@)@⊂↓)P_"Q∞Q β↓@_↓A@$`@@ (↓∩`⊂_↓↓ $PA ↓∩@⊂_↓↓ $p↓↓ $p↓↓ $h↓↓ $h↓↓ _S (↓`∀h↓↓0_S@⊂_α@∀x↓@`4("≥APxεβ0_α@I@λ↓@@⊂%@ 0⊂α@) λα@Pλ% 0⊂β)`⊂β)`⊂β)P⊂β)P⊂β)P⊂α@)P⊂α@)`λα)p "Q∞q(C↓@_↓A@ (↓∪⊂⊂↓↓ (↓∩`⊂_↓↓ 0R@⊂ ↓↓ 8R@⊂_↓↓ 8S@ (↓↓`∀p↓↓ 8S (↓↓`∀h↓↓ 8S (↓↓@∀h↓↓ 0S@ _@ S`@_αQ(G@λ∧A@`α↓0 &@ 0 ↓i@λα`0_%@ P⊂αI0λα@J⊂⊂(@J⊂(@Pλ%@@⊂α@) _↓@@@λ%@0λ@ 0λ%A0_"Q∂⊂pλ∧A@_↓A@$`@@ (↓∩`⊂_↓↓ $PA ↓∩@⊂_↓↓ $p↓↓ $p↓↓ $h↓↓ $h↓↓ $h↓↓ $h↓↓4p@`4x↓@ %_↓∀@$X↓A$X↓@`$X↓`$`α⊃(GPεCa@`α@`@λ'↓ λ&@ P_** ⊂(@*λ'@)`λβ)Pλβ@)@ ↓@I0⊂↓↓) λα@hT ¬C↓_ A"∃⊂↓B5λ↓B@%λ↓B@%λ↓B@%λ↓B@∃↓B`∃↓T5↓S`4x↓S`4x↓S@4p↓S@4p↓S 4P¬⊃(@λεb1_λK⊂_,↓
p0+@ _+ 0_*@ @ * `_)@ p )@p )!⊂_(@! (!0 '@!P_'!` &@!p &B_&¬I18%ελT ↓¬c⊃_ B@u⊂↓A 5↓B 4x↓β$p↓β 4h↓C@$`↓C`4X↓@`⊂@@`4X↓@a _↓R`0_¬`4P↓@a _↓R@0_¬`4P↓@`⊂@@`4P↓C`4X↓β@4X↓C $X↓C$`↓B 4p↓A 5βQ(@_
Eb1_π@+⊂+@jp +↓*P⊂@jPλ↓j@λ↓@j@λ↓@j0λαj λα@j λαA
⊂λβ@jλ∧jλ∧ipλ∧@i`⊂∧@i`λ¬iP⊂¬↓ 8αB(T αεβ!_ AB% ∪`⊃S`⊃S`⊃Q` 8B@∃λB@∃λε∀↓EB@∃B@∀8↓ ⊃⊂R`⊃⊂R`⊃⊂RBDP
⊃(@(∞πB1_αEj _¬@j⊂_¬@j⊂_¬@j⊂_¬@j⊂_¬@j_¬@j_¬@j_¬@j_¬@ip_¬@ip_¬@ip_¬@ip_¬@i`_¬@i`_¬@i`_¬@i`_¬@iP_¬@i HαB(T βεβ1_ A"4xαβ5↓C %αβ%λ↓C%λαα`∃⊂αα@∃_↓T`E ↓U5 ↓∀`⊂XT@⊂XT `S`⊂h↓∪@⊂h↓∪ ⊂`α∩b4P Q(@8εα1_↓A!(&↓``8%@@0 α`0⊂% p⊂↓@@`λ)`⊂⊂)A
0 )@j0_)@j _)j _)j⊂_(@j⊂_(@j_&αhT ∧¬"a_ B↓50↓U 5(↓TA∧x↓@`0λ↓S 0 ↓A$`↓A 0 ↓R`00↓A 4X↓A@0(↓R@00↓A 4P↓A@0(↓R`0(↓A4`↓↓ 0_↓S 0⊂↓@@4x∧∀@5⊂↓T 4h¬Q(@Hεα1_βBjP_*j@_%`p_αA 0_β`@_%@`P_α@i0_α@`@_%@`P_αi0_α@`@_%@`@_αi0_α`@⊂%@`@_↓@i@⊂α` _&@`⊂_@ip8(@j⊂_(i@X"Q↓!0
∧b0P∧∀ @0↓T X↓∪@0`↓S 0h↓S 0p↓∪0p↓S0p↓S0p↓S0h↓S h↓∪ `↓∪ 0P↓∪@ H↓∩@⊂_↓α ⊂_R@⊂ B⊂ R@⊂ A` _R@`8β∩@`0βR@`0β⊃(@X ¬↓@`β↓ `⊂α@Pλ&@@`⊂α)@⊂β@@0λ%@A⊂↓@)0⊂∧`⊂λ%@A⊂⊂@) ⊂¬i ⊂¬I0λ¬I0⊂βA @λα@@0λ↓)P(βHT ε∧"1P
α`E_↓↓∃⊂A@%λA`%B$xB $xB$pB $p@`tp@`dpB ∀hB@$hB@$hB@$hB@$`B@$`B@$`↓α$`↓α∀X@@ ↓∩`⊂ α∩`∀XR@∀PR@∀PQ(@hλDB `α↓ pλ&A``λ%A0_α)0λ∧ @λ%!⊂λ↓@*Pλ↓*Pλ@*Pλ@*Pλ@*P⊂*@JP⊂*@*Pλ*@*@λ**@λ*(T πβ!q
↓`EA∀xS@$p↓∪@$p↓S`5α∪@ ⊂↓∪ ↓∪ (↓∩` 8R` 8R` 0↓∩@ 8R@ 8R`⊂0R` (S⊂ S D("βa hεβP(&@I@λ%@I ⊂%α ⊂%I ⊂%I ⊂%@@@⊂&AλT λβ"↓P
α∃⊂T@Eλ@ 4x↓∪@$h↓∪ ∀`↓∩`$X↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩`4`αS eα∀@%⊂↓∪@⊂_S`4("∧!a β _α↓ 0λ↓@⊂⊂↓@I0λ↓@@P⊂% 0_α@I λ↓@@`⊂'@`⊂'@`⊂&@@`⊂&@@`⊂&@@`⊂&@@`⊂&@`⊂&@`⊂*J@⊂)@J0⊂)@J0λ"Qα `πEα@8↓T⊂_S`⊂ ↓∪@⊂(↓∪ (↓∪ ⊂0↓∪ 0↓∪⊂8↓∩` 8↓∩` 8↓∩a4P↓↓`$P↓↓`$P↓↓`$P↓↓@$P↓↓@$P↓↓ $P↓↓ ∀XA$X@`$`↓Q(A_βBA@`↓@IP⊂&@I@⊂&I@⊂%@I0⊂%@@0λ%@@λ%@0λ%@0λ%AλT
βb `ε` 0↓S αS _@@$`↓`∀`↓ $`αS ⊂α∩` 0↓∩` 0↓`∀X↓↓@ _R` 0↓@∀P↓↓` ⊂R@ @↓Q(A(πDBA ↓@ip_(J_(@J⊂⊂(@j ⊂)J0⊂)@J0_) ⊂⊂(@ ⊂( @⊂'@ P⊂'@P⊂&@@p⊂&A⊂%@A⊂_%A0⊂"Qαa DA@ ↓↓@$p↓↓@$p↓↓@$h↓↓@$h↓↓@$h↓↓@$h↓↓@$`↓↓@$`↓↓@ _S 0↓`∀`↓↓ 0_R`@_@ ⊂R` λα`4X↓∩`$P↓∩@$P↓∩@∀("¬aaλεβ(β@IP⊂β@IP⊂β@I@⊂β@I@⊂β@I@⊂βI@⊂α@I0⊂β)0⊂α@)0⊂α)0⊂↓I ⊂@I _"QβhπFB@8T ∃λαS` λα∪@$h↓∪ $`↓∪$h↓∪@dpβ∪ ∀`R`$P↓∩@$P↓∩@$P↓R`D`β∪`U⊂↓T`$p↓`∃↓Q(AHλDa@`↓CI@x%@@@λ↓)0λα@ λ( 0λ( 0λ( 0λ'@@0λ'@ @λ'@@λ'@@⊂&@@P⊂&@@`λ"Qβ pλDA@@↓T _↓∪` (S@ 0↓∪ 8↓∪ 8↓∪ 8↓∪ 8↓∪ 8↓∪ 0↓∪ 0R` λ@`$X↓@DX↓∩`$P↓∩@$P↓∩@∀("εb⊃_εβ`X'β)P_αI@⊂β@I0⊂∧I0⊂∧I0⊂∧I ⊂∧I ⊂∧I0λβ@I0⊂β)@λαIP "Qβ@xλC↓@_ε∪↓TX↓↓∀XA ∃↓∀%T∀x↓∪`$x↓∪@$p↓⊃(AhπD!@`↓@`p⊂& ⊂βI0λ↓@@pλ% @⊂β@) λ↓@Aλ'Aλ'Aλ&@Aλ&@Aλ&@@pλ&@@`λ'@@λ'A(T ∂∧"1P
β∃(U ∃(U ∃ U∃ T dx↓@⊂_↓∪ A$`↓↓ ⊂(S⊂0A $X↓↓ ⊂0↓∩` (A@$P↓↓@⊂(↓∩`⊂0A $X↓↓⊂(↓∪⊂ A$h↓@⊂⊂↓∪@eT∃T∀xS`∀("πb! β _ε)0λ↓A λ'@Aλ'@@pλ(@Pλ(@@λ(@@ λ(@@⊂λ(@j ⊂(@j⊂λ@Jλ↓Ipλ↓@i`λα@IPλβi@λ∧@0λ%@! ⊂↓) λεhT ⊂∧bQP
β@∃8U`∃8U`∃0U@∃0S 00A$`@@ A $X@` A@∀PA A@∀P@` (A@∀p↓↓⊂8S@ A`∀h↓↓ ⊂0S (A ∀h↓↓⊂0S@ _A$x↓@⊂_Tu⊂T@∃⊂T@∃λT ∀("λ"1 εβ@λεIPλε@I@λπ@)@λπ@)0λβ@@pλ%@ p⊂β@)0λβ@@pλ%@ `⊂β@) ⊂β@`⊂%@ `⊂α@I0⊂↓@@⊂⊂↓i00↓↓I@ α↓λT ⊃β↓``ε↓ Th∧S 0R`∀XSd`@ 4XR@∀PR@ 8Ra∧hαQ(B_λDbA ¬@J@λ↓*0λ↓@J λαJ λα@* λα@* λαJ0λ↓@I@_α@ ⊂%@ ⊂αA 0λ↓@@`_% 0⊂βI λ↓@@`⊂'@`⊂'@P⊂&@@`⊂&@@`λ&@@P⊂&@@@⊂' @λ'AλT ∩εC@`εbt`∩` _D∀X@`⊃λS`⊂8B ∀pB⊂HS@⊂8↓α ∀hB @S ⊂8↓A`$h↓↓ λA`∀h↓↓ ⊂↓↓$pβ↓dxα↓@D(" !Qλ βp_'@@0⊂'@Pλ&@@`⊂&@p⊂&@p⊂&@p⊂%@@p⊂%@@p⊂%@@`⊂%@`Pλ% λ↓@I λ↓A λ%) λ%α)@@)@(T ∪αaPxε↓ dh↓↓ ∀`↓∩`$P↓∩@$P↓∩@$P↓R`D`αS@E↓∀ ∃↓∪@4(" b!( β0λ∧↓ @λ∧↓I0λ∧@@⊂%@ pλβ@) λβ@!λ% pλ∧) λβ!⊂λ% `λ∧) λβ pλ%@@λβ@I0_↓ P_&αip0'@Ipλ'@)`⊂'I`λ"Qλ↓ ¬α@8αS` ↓∪@⊂@S@⊂@↓∪ 0@S 0@↓⊗%@↓∀P_↓∪@ (@@$h↓↓`⊂λ↓∪ H↓∩` P↓∩` P↓∩` H↓∩@ P↓∩@ H↓∩`⊂HR` 8S ↓∪@T("_↓@h
¬↓⊂⊂) λ(@ 0λ(@ λ(@ λ'@@0λ'@@ λ'@ 0λ'@ λ'@ λ'@⊂λ&@@⊂λ&@@⊂λ&@iP⊂&@I@_%@ ⊂⊂% 0λα@I`λα)p "Q∂08∧C↓@⊂↓R`⊂⊂↓∩`⊂⊂↓∩@⊂_↓∩@⊂⊂↓∪ $h↓∪$`↓@∀X↓`∀X↓`∀X↓@∀`↓Q(G`¬Bb `βipλ↓Ipλ↓@I`λ↓@I`λ↓@J ⊂)J⊂⊂(@J⊂⊂(@J⊂(J⊂(I0⊂↓I _↓I ⊂↓I0 "Q∂Qλ
DA@_↓∪ 0αR` (↓↓$X↓` 8R@ _B $P↓@⊂P↓∩@ λB`$P↓B`$P↓B`$P↓A⊂0R`0_A $P@ 0⊂A$P@@0⊂α∩@⊂_↓∩@⊂_↓R@⊂_↓∩@⊂_↓∩@⊂_R`4("∨Aa(αE!⊂_*I p%βJ0_)hT ?CBp_ At`↓↓`$XB`∀PC∀("↓@xεβ00&@@⊂%@@`⊂%A⊂%A⊂%A⊂%A⊂%A⊂%A⊂%A⊂%@@`⊂&@@⊂&AHT _Ba``ε↓@∀Xβ∪`$x↓∪`$x↓∪`$x↓∪`$x↓∪`$x↓∩a$("A@xεβ 8%@ `_%``_%`p⊂*J0⊂)j⊂⊂(@0λ'@Pλ&B 0P%αhT →CB↓⊂ε↓d`↓↓ 4X↓A@4X↓A`$X↓A@5 ↓U%_↓∪`U_↓U5(↓∃ 4X↓α4Pα↓`4Pα↓`$P↓A`4X↓↓@4hβQ(C π∧α `∧J ⊂(@jλ@Ip⊂@Ipλ↓I`λ↓@IP⊂↓@IPλαI@λα@I0λβI ⊂βI p)J ⊂)J ⊂)Ip@"QεP`πDA@⊂A@$`∧∪t`@@∀`S∀`S⊂λα∪ ↓∪⊂(↓T`%_↓T`4P↓A@4P↓A@4P↓A@$XA@4`A4hαQ(C0εβb!⊂β↓ `⊂α)Pλα@i@λβi0⊂%@I ⊂%@ (%@⊂λαI _βI ⊂∧) ⊂∧I ⊂∧I ⊂∧I0λ∧I0⊂β@)@λβIPλαI` "QεppλDaPλRaTXε∩`⊂HR@⊂PR@⊂HT`∃⊂T ∃λT%S`$x↓∪`$p↓S@4p↓S@4xQ(C@π∧α!⊂α↓IPλβJ`λ%@! λ%@! λ%@aλ&↓Pλ&↓@⊂⊂'↓I`8&@0(%@@` %A⊂_%A ⊂%A ⊂%A ⊂%@A⊂&@`⊂'↓HT ≤C↓q⊂ε↓D`↓↓∀X↓↓@∀XA`$P↓α∀P↓α$P↓α$P↓α$XB$X↓↓@4`↓↓⊂λ↓∪ P⊂↓∃% T`$P↓A@∀P↓A ∀XA ∀`αQ(B@∂λ PXα@)pλ')@⊂%G)!p"Q¬⊃p⊂A@p∂∩cT`↓∪@∀xS`∀("
CbλαBcλ1,0λ2I!p%πHT ∃GD⊂0β@βdP∂→&_X@⊗⊂Q(B`α↓ap@i %I ⊂%I ⊂%I %@hT ⊗Ap@π4Pα∪$`↓∪$`↓∪$Pα∩@4("AaπC@⊂%↓ (%@⊂ %@0 %@P %@p_%A %A %@p_%@P %@0 %@⊂ %↓) %HT ↔CBxπβ% α∀`Uλα $xα`$hα↓ $`↓A`$Pαα$Pαα$`↓A`$hα↓ $xα`%λα %_αUE0↓⊃(CPα↓`0_@I %↓ 0⊂"Qπ0 βB 0λ↓∩@DPα∩`4hS ∀`S∀XR`∀("∂αA@
∧α⊂_,A
p *A
0 )j '↓ @ %↓ &↓ ` (↓
_)A
P +A⊂ -@hT ≡C↓q`
B@% ↓∀`5_↓∀`%⊂↓T@%λ↓T %λ↓∀5↓∀$x↓S`$p↓S@$p↓∪ 4h↓∪ $`↓S$X↓R`$X↓∩@4P↓∩@$("∂BA@
∧_%A P 'A
⊂ )@j@ +↓ -↓ ,↓
` *↓
0_(A p &A 0 %hT ∨D" xπα∃⊂T@∃⊂T@∃⊂R@@ ADh¬S`uλ↓T λ↓∀⊂_S` _↓∪@ (↓∪@⊂8S ⊂HQ(EX∧αbQ() λ%) λ%) λ%) λ%) λA ⊂↓@I λα@I λα@I λα@I λα@I λαI λαI λ↓@I λ↓I λ@I _%(T .↓A!X
@∀PR@∀PR@∀PR@∀P@`$P@ DPα ∀P↓`∀PA∀PA∀PA∀PA∀PA∀PA∀PA∀PA∀PA∀P@`$P@ DPα ∀P↓`∀xS`∀xS`∀("↔!X
¬`λ%@ @λ%@ @λ%@ @λ%@ @λ%@ @λ%@ @⊂%Ai 8%@@λ%@ @λ%@ @λ%@ @λ%@ @λ%@ @λ%@ @λ%@ @λ%@ @λ%@ @λ%@ @⊂%Ai 8%@@λ%@ @λ%@ @λ%@ @λ%@(T /πD⊂8¬@⊃`R`⊃PS⊃@S ⊃0S@!⊂↓∀@Pα∀Ae(∧⊃(Ex∂λ pX∧C
⊃'@a`_'B ⊂&@"`λλ%@# λ%#@λ"{avH2→-g 4YM⊗(9λλ4h&R=q`1[lFH7→n6_4→-V(⊂∃U@⊂≠,↔ 4λ
↔ 0[
⊗_wCfx7≥fλ1Y,'H:→>0y∂@∧#H_λ37lp↓∨38↓∨38α_␈␈␈␈H↓({α`¬x4Pβs␈0G`↓8pπv↑`⊂∞↓oλx↓⊃⎇@1Pβ7xαλ0{↓β0π!↔0∧~?0αG@x␈¬ λD↑`0∞↓sHi@↓λ3⎇@q0αxq@α~p{αβ⊂εU*∧=␈0∧E``?r ⊃↑`P∞↓r⊂i@↓⊂P⎇A1@β≠t@α0⊂{βαP¬JdP∧i?0εD`P7" l↑`pλ@↓⊂x∃@↓_{⎇Aqαt@αD{∧α⊂∧I=0¬?0λD`P&n`
)≡a⊂ ↓↔λe@↓ z⎇B0p↓nh(αTP{¬α`¬g∞¬.?0
E@XcF
m↑a0↓@↓(|⎇Bq_α>≤_αd`{εα⊂∧I=0¬P←0E@XP,1↑aP @↓#H0↓8⎇C1(αnoXαt@{πα⊂∧Tβ0¬o←0∞E X∧↑h↑ap↓=xa@↓8q⎇Cq8βλq@β∧`{λβεG
Pε∪␈0⊂E``=∩`E≡b⊂ ↓⊗_λ↓H/⎇D10β-(β_0{ βpλ⊗20ε<␈0∩D`P≤X
≡b0π@|p~@↓P=⎇Dq@β∨Cβ* {
∧P cFπ]o0∀I ↓_G∂@>bP∩@α8p_↓x
=E2(∧qcβr8{↓0β∧↑Pπg/0⊗B`0 = ∂T}bp @↓#@p↓x6=Eq_αG∞βz8{α0¬∞≤π∪∂0_D`P≤8∞3}c⊂ @↓#@p↓`x=F1_αG∞βQX{
α0¬∞≤π+/0~D`P≤8∞f>c0 @↓#@p↓hm=Fq_αG∞βb({∞α0¬∞≤πK/0≤D`P≤8∂(}cP¬@a⊂z@↓xq=G0X↓B/(β␈λ{∂βPπZλPλ↓O0≡D`P≤8⊂∞}cp∞@↓v@"@α>=Gq_αG∞∧
X{⊂α@¬">Pε←∨0 Gpd>`λ}d⊂∞↓m_⊗@8=H1PβD:λ{⊃β`π}≡P!O0"F`p2\W}d0@↓F01@λZ=Hq`βgr∨X{∩β`π␈BPIo0$D@aT↓(}dP
↓.8i@⊂i=I1x∧
∪@0H{∪β⊂εbMl/0&H`↓⊂Jr↓g}dp∞@↓wH, ≠=Iq`β↑∨J8{∀αpε≡XP↓∨/0(G x;+ αN}e⊂∞↓lλ¬@(T=J18ββ7h←x{∃α`¬lVP↓I/0*F h46β$>e0↓:`F@0s=Jr⊂∧M"Xs({⊗β`λ↓50↓x∂0,E@XOQ ∧β}eP@↓V8*@@)=K0xα∧↑X∧∞⊂{↔↓p∧ =0λ%?0.C`@∩z`⊂c≡ep∩@α8p_αλy⎇Kr(∧qc∧!0{_↓p∧∩{0εj∂00EPf∀`∧&}f⊂λ↓_)@@p=L1λα≡$↓∩H{→α0¬⊃rPα*o02D@H6$∧j}f0 ↓→`8Hm=Lq⊂α7∃(↓"_{~α`¬g∞αN∂04C 8⊂L¬0}fPπ@↓αx4P}=M1 αR/(↓3x{≠↓@β≠!0αro06H ↓λ?}`¬s}fp@↓EJ@`≥=Mq⊂α9Lh↓H8{≤α0¬⊃rPβ↔o08D H⊂i εD>g⊂λ@↓∀8
@h,=N1λα+!_↓XX{≥↓`βh%Pβ7/0:E@Xevε{>g0 @↓∨x}@p≤=NqXβI*(↓gH{≡αP¬JUβZo0<D`P⊂J`πF>gP ↓_H=@x7=O0h↓d∪β:λ{∨↓`βjU0εz/0>F`L
`∞β>gp @↓#@p↓`8=OpX↓B/(βH_|@α⊂=`{⎇xow{⎇x